fix document generation on fedora (#949)
authortsteven4 <13596209+tsteven4@users.noreply.github.com>
Thu, 24 Nov 2022 20:01:41 +0000 (13:01 -0700)
committerGitHub <noreply@github.com>
Thu, 24 Nov 2022 20:01:41 +0000 (13:01 -0700)
commit757b5c774a5773f55907be101335f115db28fddf
tree86aaec779097fff31c4fb0c8bd9d144b0268ce3a
parent39e3deebb335cca7c3891eaefa0433714fa34709
fix document generation on fedora (#949)

* try to find common docbook url for fedora/ubuntu/homebrew catalogs.

* fedora builds

jing is broken on f32, remove it so it doesn't kill our document build.

add f37, with Qt5 because fedora doesn't have Qt6 webengine yet.
.github/workflows/fedora.yml
tools/Dockerfile_f32
tools/Dockerfile_f35
tools/Dockerfile_f37 [new file with mode: 0644]
tools/make_gpsbabel_doc.sh